A Case Study in Using ACL2 for Feature-Oriented Verification Kathi Fisler and Brian Roberts WPI Department of Computer Science November 8, 2004 Abstract

Source URL: web.cs.wpi.edu

CASE STUDY: SIMPACT Simpact Engineering is a high quality Computer Aided Engineering (CAE) consultancy. Their core

Source URL: www.ocf.co.uk

Workflow-Driven Ontologies: An Earth Sciences Case Study Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, Flor Salcedo The University of Texas at El Paso, Computer Science, El Paso, TX, 79905, USA {leonardo, p

Source URL: www.cs.utep.edu

Worst-Case Efficiency Analysis of Queueing Disciplines? Damon Mosk-Aoyama ?? and Tim Roughgarden1? ? ? Department of Computer Science, Stanford University, 353 Serra Mall, Stanford, CA 94305

Source URL: theory.stanford.edu

NOVEL FRAMEWORK FOR SPORTS VIDEO ANALYSIS: A BASKETBALL CASE STUDY Chun-Min Chen and Ling-Hwei Chen Department of Computer Science, National Chiao Tung University Hsinchu, Taiwan, R.O.C. E-MAIL: , lh

Source URL: debut.cis.nctu.edu.tw

The Bridge Case Study ABOUT THE BRIDGE: Located in the heart of Bollywood, Mumbai, India’s entertainment industry, The Bridge is a post production

Source URL: www.lto.org

• Linear Tape File System
• Linear Tape-Open
• Computing
• Computer hardware
• Information science
• File system

CASE STUDY: AUSTRAL DISEÑOS INDUSTRIALES, ALGERIA FACTS AT A GLANCE Company: Austral Diseños Industriales Website: www.adinsa.com.ar Description: Austral Diseños Industriales

Source URL: www.coade.com

• Energy
• Physical universe
• Energy conversion
• Nature
• GIS software
• Intergraph
• Computer-aided design
• Solar power
• Energy technology

Volunteer Application Name Date Home (Street) Address

Source URL: www.c-uphd.org

• Security
• Prevention
• Safety
• Emergency management
• Disaster preparedness
• Humanitarian aid
• Occupational safety and health
• Computer security
• Champaign
• Illinois
• In Case of Emergency
• Emergency

Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters Alen Stojanov† † Georg Ofenbeck†

Source URL: spiral.ece.cmu.edu

• Array programming
• Generic programming
• Fourier transform
• Computer programming
• Analysis
• Software engineering
• Loop tiling
• Multidimensional DSP with GPU Acceleration

TOWARDS USING THE FUNCTIONAL RESONANCE ANALYSIS METHOD TO BALANCE RESILIENCE AND ADAPTABILITY – A CASE STUDY OF MIGRATING A SOFTWARE PRODUCT INTO THE CLOUD Marc Werfs University of St Andrews, School of Computer Scienc

Source URL: www.resilience-engineering-association.org

• Computing
• Cloud infrastructure
• Business
• Economy
• Cloud computing
• Resilience
• IBM cloud computing
• HP Cloud